Verifying Petri-Net Models Using Process Algebra
نویسنده
چکیده
منابع مشابه
Deterministic Measurement of Reliability and Performance Using Explicit Colored Petri Net in Business Process Execution Language and Eflow
Today there are many techniques for web service compositions. Evaluation of quality parameters has great impact on evaluation of final product. BPEL is one of those techniques that several researches have been done on its evaluation. However, there are few researches on evaluation of QoS in eflow. This research tries to evaluate performance and reliability of eflow and BPEL through mapping them...
متن کاملPetri Net based approach for merging ontologies in web service composition scenario
Ontologies are being used for construction of semantically rich service descriptions. In case of Web service composition, techniques for planning, composing, editing, reasoning and analyzing of these descriptions are required. It’s necessary to resolve semantic interoperability between services to achieve Web services coordination and collaboration. Matchmaking and merging of service descriptio...
متن کاملModeling and Controller Synthesis for Resource Booking Problems Using Bdds
Mixed Process algebra and Petri Nets (MPPN) combine Petri net constructs and Process algebra. The modeling language implies a compact representation of complex systems. For general resource booking problems MPPN is used for routing speci cations and modeling of resources. These models are formally con verted into ordinary Petri nets. The Petri net representations are easily converted into eÆcie...
متن کاملSimplification of a Petri Net controller in industrial systems
This paper deals with the problem of forbidden states in discrete event systems modeled by Petri Net. To avoid the forbidden states, some constraints which are called Generalized Mutual Exclusion Constraints can be assigned to them. Enforcing these constraints on the system can be performed using control places. However, when the number of these constraints is large, a large number of control p...
متن کاملVerifying soundness of business processes: A decision process Petri nets approach
This paper presents a trajectory-tracking approach for verifying soundness of workflow/Petri nets represented by a decision-process Petri net. Well-formed business processes correspond to sound workflow nets. The advantage of this approach is its ability to represent the dynamic behavior of the business process. We show that the problem of finding an optimum trajectory for validation of well-fo...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2003